Правило вывода - определение. Что такое Правило вывода
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

Что (кто) такое Правило вывода - определение

ПРАВИЛО ПЕРЕХОДА ОТ ПОСЫЛОК К ЗАКЛЮЧЕНИЮ

ПРАВИЛО ВЫВОДА         
правило, определяющее переход от посылок к следствиям; более точно - правило, устанавливающее определенного вида соответствие между некоторой совокупностью высказываний (формул), называемым посылками, и одним определенным высказыванием (формулой), называемым логическим следствием из этих посылок.
Правило вывода         

правило преобразования некоторой формальной системы, дедуктивное правило, правило-разрешение, регламентирующее допустимые способы переходов от некоторой совокупности утверждений (суждений (См. Суждение), высказываний (См. Высказывание) пли выражающих их формул), называемых посылками, к некоторому определённому утверждению (суждению, высказыванию, формуле) - заключению. П. в., вид посылок и заключения которого указан явно, называют прямым; таково, например, П. в. исчисления высказываний (См. Исчисление высказываний), позволяющее переходить от произвольной конъюнкции (См. Конъюнкция) к любому её члену, или П. в., разрешающее присоединить к произвольному высказыванию любое др. высказывание посредством операции дизъюнкции (См. Дизъюнкция). Если в посылках и заключении указаны лишь виды выводов, от одного из которых разрешается переходить к другому, то налицо правило косвенного вывода; типичный пример - т. н. теорема о дедукции (правило введения импликации из натурального исчисления (См. Натуральное исчисление) высказываний или предикатов), позволяющая от любого вывода A1, A2,..., An-1, An |- B перейти (при некоторых естественных ограничениях) к выводу вида A1, A2,..., An-1, An |-An B. П. в., выражающие способы и приёмы содержательных рассуждений, были частично систематизированы ещё в рамках традиционной формальной логики (в виде т. н. модусов Силлогизма), откуда затем (иногда с видоизменениями) перешли в математическую логику, как, например, правило modus ponens (схема силлогизма, или правило зачёркивания), разрешающее от любой импликации и её антецедента (посылки) перейти к её сукцеденту (заключению). Кроме того, П. в. делятся на исходные (основные, постулированные) и выводимые из исходных (посредством некоторых метатеорем). Для исходных П. в. формальных систем (исчислений (См. Исчисление)), являющихся, как и аксиомы, постулатами данной системы, встают обычные для аксиоматических систем проблемы непротиворечивости (См. Непротиворечивость), полноты (См. Полнота) и независимости (См. Независимость). Поскольку П. в. в той или иной мере выражают отношение логические. следования, а между этим отношением и операцией импликации для большей части логических исчислений существует тесная связь, то такая связь имеется между П. в. и теоремами любого исчисления, в частности между исходными П. в. и аксиомами (например, аналогами упомянутых выше П. в. натурального исчисления являются, соответственно, аксиомы исчисления высказываний А & В А, А & В В, А А В и В В В).

Лит.: Слупецкий Е., Борковский Л., Элементы математической логики и теория множеств, пер. с польск., М., 1965; Серебрянников О. Ф., Эвристические принципы и логические исчисления, М,, 1970; Смирнов В. А., формальный вывод и логические исчисления, М., 1972. См. также лит. при статьях Аксиоматический метод, Дедукция.

Правило вывода         
Правило вывода — эффективная процедура для проверки того, что одна заданная формула в рассматриваемой теории непосредственно за один шаг выводится из других заданных формул.

Википедия

Правило вывода

Правило вывода — эффективная процедура для проверки того, что одна заданная формула в рассматриваемой теории непосредственно за один шаг выводится из других заданных формул.

В непротиворечивой теории теоремы получаются путём цепочки применения правил вывода этой теории. При этом если формула B {\displaystyle {\cal {B}}} выводится за некоторое количество шагов из формул A 1 , {\displaystyle {\cal {A_{1}}},} , {\displaystyle \dots ,} A n {\displaystyle {\cal {A_{n}}}} , то для выражения этого факта применяется обозначение A 1 , , A n B {\displaystyle {\cal {A_{1}}},\dots ,{\cal {A_{n}}}\vdash {\cal {B}}} . Если в таком случае рассматриваемая теория непротиворечива, а каждое из утверждений A 1 , {\displaystyle {\cal {A_{1}}},} , {\displaystyle \dots ,} A n {\displaystyle {\cal {A_{n}}}} является либо аксиомой, либо теоремой, то B {\displaystyle {\cal {B}}} также является теоремой.

В исчислении предикатов в гильбертовском варианте правилами вывода являются модус поненс и правило обобщения. По теореме Гёделя о полноте формула является выводимой в исчислении предикатов первого порядка тогда и только тогда, когда она общезначима, то есть истинна в любой интерпретации этого исчисления предикатов.

В исчислениях генценовского типа (исчислениях секвенций, системах натурального вывода) правила вывода играют основную роль — в них используется небольшое количество аксиом и развитые системы правил вывода. В теории доказательств применяются именно такие исчисления, поскольку благодаря подбору симметричных систем правил вывода возможно получить конструктивные результаты о непротиворечивости систем.

Что такое ПРАВИЛО ВЫВОДА - определение